Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model (...) of knowledge. 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in (...) semantics. Her development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

The idea that we should simply live in the moment, and should not concern ourselves about the future or the past, has long been a staple of popular philosophy. In this paper, I first attempt to clarify the doctrine and then examine the case for accepting it. My conclusions are, first, that a number of its implications seem quite unpalatable; second, that the main advantages that living in the moment are said to yield are greatly overstated; and, third, that to (...) live by any version of the doctrine that was not highly watered down would be to sacrifice much of what gives meaning to our lives. (shrink)

Blame is an unpopular and neglected notion: it goes against the grain of a therapeutically-oriented culture and has been far less discussed by philosophers than such related notions as responsibility and punishment. This book seeks to show that neither the opposition nor the neglect is justified. The book's most important conclusion is that blame is inseperable from morality itself - that any considerations that justify us in accepting a set of moral principles must also call for the condemnation of those (...) who violate the principles. Properly understood, blame and morality must stand or fall together. (shrink)

This article discusses the extension of ViewGen, an algorithm derived for belief ascription, to the areas of intensional object identification and metaphor. ViewGen represents the beliefs of agents as explicit, partitioned proposition sets known as environments. Environments are convenient, even essential, for addressing important pragmatic issues of reasoning. The article concentrates on showing that the transformation of information in metaphors, intensional object identification, and ordinary, nonmetaphorical belief ascription can all be seen as different manifestations of a single environment-amalgamation process. The (...) article also briefly discusses the extension of ViewGen to speech-act processing and the addition of a heuristic-based relevance-determination procedure, and justifies the partitioning approach to belief ascription. (shrink)

To be responsible for their acts, agents must both perform those acts voluntarily and in some sense know what they are doing. Of these requirements, the voluntariness condition has been much discussed, but the epistemic condition has received far less attention. In Who Knew? George Sher seeks to rectify that imbalance. The book is divided in two halves, the first of which criticizes a popular but inadequate way of understanding the epistemic condition, while the second seeks to develop a (...) more adequate alternative. It is often assumed that agents are responsible only for what they are aware of doing or bringing about--that their responsibility extends only as far as the searchlight of their consciousness. The book criticizes this "searchlight view" on two main grounds: first, that it is inconsistent with our attributions of responsibility to a broad range of agents who should but do not realize that they are acting wrongly or foolishly, and, second, that the view is not independently defensible. The book's positive view construes the crucial relation between an agent and his failure to recognize the wrongness or foolishness of what he is doing in causal terms: the agent is responsible when, and because, his failure to respond to his reasons for believing that he is acting wrongly or foolishly has its origins in the same constitutive psychology that generally does render him reason-responsive. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, (...) empirical and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

The description for this book, Desert, will be forthcoming.

In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (1992), Beall and Restall (...) (2006), Field (2009), Lynch (2009), and Sher (2016a).1 Whenever possible, I focus on positive rather than negative views on the issues involved, although in some cases this is not possible. (shrink)

Tarski's hierarchical solution to the Liar paradox is widely viewed as ad hoc. In this paper I show that, on the contrary, Tarski's solution is justified by a sound philosophical principle that concerns the inner structure of truth. This principle provides a common philosophical basis to a number of solutions to the Liar paradox, including Tarski's and Kripke's. Tarski himself may not have been aware of this principle, but by providing a philosophical basis to his hierarchical solution to the paradox, (...) it undermines the ad-hocness objection to this solution. Indeed, it contributes to the defense of Tarski's theory against other objections as well. (shrink)

Many people, including many contemporary philosophers, believe that the state has no business trying to improve people's characters, elevating their tastes, or preventing them from living degraded lives. They believe that governments should remain absolutely neutral when it comes to the consideration of competing conceptions of the good. One fundamental aim of George Sher's book is to show that this view is indefensible. A second complementary aim is to articulate a conception of the good that is worthy of promotion (...) by the state. The first part of the book analyses attempts to ground the neutrality thesis in the value of autonomy, respect for autonomy, the dangers of a non-neutral state, and scepticism about the good. The second part defends an objective conception of the good which remains sensitive to some of the considerations that make subjectivism attractive. (shrink)

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

The paper delineates a new approach to truth that falls under the category of “Pluralism within the bounds of correspondence”, and illustrates it with respect to mathematical truth. Mathematical truth, like all other truths, is based on correspondence, but the route of mathematical correspondence differs from other routes of correspondence in (i) connecting mathematical truths to a special aspect of reality, namely, its formal aspect, and (ii) doing so in a complex, indirect way, rather than in a simple and direct (...) way. The underlying idea is that an intricate mind is capable of creating intricate routes from language to reality, and this enables it to apply correspondence principles in areas for which correspondence is traditionally thought to be problematic. (shrink)

Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than others. (...) The degrees of invariance of highly-invariant properties are associated with high degrees of necessity of laws governing/describing these properties, and this explains the necessity of such laws both in logic and in science. This non-mysterious explanation has rich ramifications for both fields, including the formality of logic and mathematics, the apparent conflict between the contingency of science and the necessity of its laws, the difference between logical-mathematical, physical, and biological laws/principles, the abstract character of laws, the applicability of logic and mathematics to science, scientific realism, and logical-mathematical realism. (shrink)

Two central themes of Douglas Edwards’s The Metaphysics of Truth are anti-deflationism and substantial pluralism. In Part I of this paper I discuss Edwards’s grounds for rejecting deflationism and suggest a few additional grounds. In Part II I discuss Edward's truth-pluralism and respond to his criticism of my correspondence-pluralism. While these pluralisms share significant features, their differences also raise several important questions.

This is a critique of Michael P. Lynch’s functional pluralism with respect to truth. The paper is sympathetic to Lynch’s overall approach to truth, but is critical of (i) his platitudinous characterization of the general principles of truth, (ii) his excessive pluralism with respect to the “realizers” of truth, (iii) his treatment of atomic truth, and (iv) his analysis of “mixed” logical inferences. The paper concludes with a proposal for a functional pluralism that puts greater emphasis on the unity of (...) truth. For example: while Lynch regards truth as based on correspondence principles in some domains and on coherence principles in others, the current proposal regards truth as based on correspondence principles in all domains, restricting the plurality of truth to a plurality of correspondence principles. (shrink)

A longstanding debate exists in both academic literature and popular culture about whether non-informative marketing tactics are manipulative. However, given that we tend to believe that some marketing tactics are manipulative and some are not, the question that marketers, their critics, and consumers need to ask themselves is that of how to actually determine whether any particular marketing tactic is manipulative and whether a given manipulative tactic is, in fact, immoral. This article proposes to operationalize criteria that can be used (...) by marketers for making such determinations and attempts to provide some clarification toward our under- standing of the concept of manipulation and the conditions for the moral acceptability of manipulative marketing practices. It argues that a marketing tactic is manipulative if it is intended to motivate by undermining what the marketer believes is his/her audience’s normal decision-making process either by deception or by playing on a vulnerability that the marketer believes exists in his/her audience’s normal decision-making process. Such a tactic is morally objectionable on several grounds, which make it morally impermissible unless outweighed by sufficient “redemptive” moral considerations. (shrink)

This paper is a critical discussion of the recent tendency to moralize various aspects of life that were previously viewed as private and discretionary. The paper takes as its starting point six recently unearthed moral prohibitions, and it examines the prospects for defending each as an extension of some familiar moral requirement. Its conclusion is not only that none of the extended prohibitions are defensible, but also that each impedes morality's function by limiting the ability of those whose lives it (...) governs to pursue their own aims as they see fit. (shrink)

In his In Praise of Blame, George Sher aims to provide an analysis and defense of blame. In fact, he aims to provide an analysis that will itself yield a defense by allowing him to argue that morality and blame "stand or fall together." He thus opposes anyone who recommends jettisoning blame while preserving morality. In this comment, I examine Sher's defense of blame. Though I am much in sympathy with Sher's strategy of defending blame by providing (...) an analysis that shows its connection to our commitment to morality, I question his execution of this strategy. Sher hopes to defend our blaming practices by showing our dispositions to them to be a merely contingent consequence of a belief-desire pair that is itself justified by whatever justifies our commitment to morality. I doubt our blaming practices can be defended in this way. In explaining my doubts, I provide a short comparison of Sher's approach with that of P. F. Strawson in "Freedom of Resentment." I suggest that we might do better by exploring the connection between our commitment to morality and our blaming practices themselves. (shrink)

:One view of practical reasoning is that it involves the weighing of reasons. It is not clear, however, how the weights of reasons combine, especially given the logical and substantive relations among different reasons. Nor is it clear how the weighing of reasons relates to decision theoretic maximization of expected value. This paper constructs a formal model of reasons and their weight in order to shed light on these issues. The model informs philosophical debates about reasons, such as the question (...) of whether reasons or values are more fundamental and the opposing doctrines of atomism and holism about reasons. (shrink)

This paper offers a response to William’s Hanson’s criticism of Sher’s formal-structural conception of logical consequence and logical constants.

The connected and acyclic components contained in a network are identified by the computation of its complexity, where complexity of a network refers to the total number of spanning trees present within. The article in hand deals with the enumeration of the complexity of various networks’ operations such as sum, product, difference K 2, n ⊖ K 2, and the conjunction of S n with K 2. All our computations have been concluded by implementation of the methods of linear algebra (...) and matrix theory. Our derivations will also be highlighted with the assistance of 3D plots at the end of this article. (shrink)

'O men, serve your Lord who created you and those before you, so that you may guard against evil. Deals with Allah, Prophet Muhammad PBUH, Hazrat Mirza Ghulam Ahmad Sahib -- What are the signs of the appearance of the promised messiah? and do these signs appear in the being of Hazrat Mirza Sahib?

My aim in this essay is to explore the implications of the fact that even our most deeply held moral beliefs have been profoundly affected by our upbringing and experience—that if any of us had had a sufficiently different upbringing and set of experiences, he almost certainly would now have a very different set of moral beliefs and very different habits of moral judgment. This fact, together with the associated proliferation of incompatible moral doctrines, is sometimes invoked in support of (...) liberal policies of toleration and restraint, but the relevance of these considerations to individual moral deliberation has received less attention. In Sections II through V, I shall argue that this combination of contingency and controversy poses a serious challenge to the authority of our moral judgments. In Section VI, I shall explore a promising way of responding to this challenge. (shrink)

Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...) is used as a tool for developing a theoretical foundation of logic, focused on a critical examination, explanation, and justification of its veridicality and modal force. (shrink)

The present crisis of truth, the "post-truth" crisis, puts the philosophy of truth in a new light. It calls for a reexamination of the tasks of the philosophy of truth and sets a new adequacy condition on this philosophy. One of the central roles of the philosophy of truth is to explain the importance of truth for human life and civilization. Among other things, it has to explain what is, or will be, lost in a post-truth era. Clearly, the deflationist (...) answer that the role of truth is to serve as a tool of generalization and oblique endorsement will not do. My account of truth in this paper addresses this task. Truth, I argue, is first and foremost a human value. Its importance to our life/civilization lies, not exclusively, but principally, in the centrality of this value to our humanity. I investigate the ramifications of this answer to the issues discussed in the contemporary philosophy of truth, and I end with a comparison of the substantivist and deflationist approaches to truth in light of this new perspective. (shrink)

To understand logic is, first and foremost, to understand logical consequence. This Element provides an in-depth, accessible, up-to-date account of and philosophical insight into the semantic, model-theoretic conception of logical consequence, its Tarskian roots, and its ideas, grounding, and challenges. The topics discussed include: the passage from Tarski's definition of truth to his definition of logical consequence, the need for a non-proof-theoretic definition, the idea of a semantic definition, the adequacy conditions of preservation of truth, formality, and necessity, the nature, (...) structure, and totality of models, the logicality problem that threatens the definition of logical consequence, a general solution to the logicality, formality, and necessity problems/challenges, based on the isomorphism-invariance criterion of logicality, philosophical background and justification of the isomorphism-invariance criterion, and major criticisms of the semantic definition and the isomorphism-invariance criterion. (shrink)

Ethics: Essential Readings in Moral Theory is an outstanding anthology of the most important topics, theories and debates in ethics, compiled by one of the leading experts in the field. It includes sixty-six extracts covering the central domains of ethics: why be moral? the meaning of moral language morality and objectivity consequentialism deontology virtue and character value and well-being moral psychology applications: including abortion, famine relief and consent. Included are both classical extracts from Plato, Aristotle, Hume, Kant and Mill, as (...) well as contemporary classics from philosophers such as Thomas Nagel, Thomas Scanlon, Martha Nussbaum, Derek Parfit, and Peter Singer. A key feature of the anthology is that it covers the perennial topics in ethics as well as very recent ones, such as moral psychology, responsibility and experimental philosophy. Each section is introduced and placed in context by the editor, making this an ideal anthology for anyone studying ethics or ethical theory. (shrink)

abstractThis paper addresses the relation between morality and private thought. It is widely agreed that government and society have no business trying to control our thoughts—that, as long as we d...

This article traces the lived occurrence of a spontaneous, improvisatory event. Using choreographer Jeanine Durning’s performance of inging as both a touchstone and a springboard, the affects of spontaneity are transversally mapped through a variety of generative operations. This diagrammatic approach reveals a topology of entangled concepts that convolve to a biogrammatic hypothesis on the in situ fielding of composition. Concepts such as the quasi-cause, counter-actualization, the concresence of prehensions, middling, stuttering, thermodynamic entropy, proprioception, far from equilibrium states, risk-taking, and (...) machinic autopoiesis are folded into a speculative proposition on the forces that potentially excite an affective event through the practice of improvisational composing. (shrink)

Many liberals believe that government should not base its decisions on any particular conception of the good life. Many believe, further, that this principle of neutrality is best defended through appeal to some normative principle about autonomy. In this essay, I shall discuss the prospects of mounting one such defense. I say only “one such defense” because neutralists can invoke the demands of autonomy in two quite different ways. They can argue, first, that because autonomy itself has such great value, (...) the state can produce the best results by simply allowing each citizen to shape his own life; or they can argue, second, that even if non-neutral policies would produce the most value, the state remains obligated to eschew them out of respect for its citizens' autonomy. Here I shall discuss only the first and more consequentialist of these arguments. (shrink)

This book addresses two main topics—first, the morality of thought and, second, what’s involved in having a free mind. It connects these topics by arguing that to have a free mind, a person must be willing to follow his thoughts wherever they lead, and that this just isn’t possible if the person thinks that some thoughts are morally off limits. The book therefore defends the unpopular position that it is not morally wrong to have even the nastiest of attitudes, the (...) most biased of beliefs, or the vilest of fantasies. Even when some of what we think is ugly, there is beauty and value in our being able to think it. -/- . (shrink)

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

This book offers a new and compelling account of distributive justice and its relation to choice. Unlike luck egalitarians, who treat unchosen differences in people's circumstances as sources of unjust inequality to be overcome, Sher views such differences as pervasive and unavoidable features of the human situation. Appealing to an original account of what makes us moral equals, he argues that our interest in successfully negotiating life's ever-shifting contingencies is more basic than our interest in achieving any more specific (...) goals. He argues, also, that the state's obligation to promote this interest supports a principled version of the view that what matters about resources, opportunity, and other secondary goods is only that each person have enough. The book opens up a variety of new questions, and offers a distinctive new perspective for scholars of political theory and political philosophy, and for those interested in distributive justice and luck egalitarianism. (shrink)

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.

Following Henkin’s discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or “cardinality” quantifiers, e.g., “most”, “few”, “finitely many”, “exactly α ”, where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a (...) general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise’s 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)